Issue551.agda:30,17-25
No instance of type PackBool was found in scope.
when checking that the expression implicit has type PackBool
